Formal treatment model